Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
51	1 Symmetry-breaking Answer Set Solving ∗ Christian Drescher a , Oana Tifrea b and Toby Walsh a a Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-06-15 21:43:28 Physics Answer set programming Stable model semantics Geometry Permutation pattern Symmetry Logic programming Theoretical physics
52	Data Integration Using Similarity Joins and a Word-Based Information Representation Language WILLIAM W. COHEN AT&T Labs—Research, Shannon Laboratory Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-10-30 10:48:34 Information retrieval Mathematical structures Conjunctive query Database theory Data integration Vector space model Structure FO Stable model semantics Algebra Mathematics Information science
53	Optimized encodings for Consistent Query Answering via ASP from different perspectives? Marco Manna, Francesco Ricca, and Giorgio Terracina Department of Mathematics, University of Calabria, Italy {manna,ricca,terracina} Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-15 12:44:06 Universal algebra Data integration Stable model semantics Answer set programming Mathematics Logic Artificial intelligence Logic programming Model theory Structure
54	Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-09-10 19:37:33 Predicate logic Model theory Logical syntax Formal languages First-order logic Interpretation Stable model semantics Function Well-formed formula Logic Mathematical logic Mathematics
55	Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-29 06:17:11 Logic programming Actor model Futures and promises Inter-process communication Stable model semantics Interpretation FO Economic model Witness Logic Mathematical logic Theoretical computer science
56	Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-16 14:24:52 Logic programming Actor model Futures and promises Inter-process communication Stable model semantics Interpretation FO Economic model Witness Logic Mathematical logic Theoretical computer science
57	Declarative Problem Solving and Nonmonotonic Reasoning Thomas Eiter Institute of Information Systems Vienna University of Technology [removed] Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:29 Mathematical logic Logic programming Non-classical logic Programming paradigms Stable model semantics First-order logic Knowledge representation and reasoning Expert system Non-monotonic logic Logic Science Reasoning
58	Nonmonotonic Description Logic Programs: Implementation and Experiments ? Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits Institut f¨ur Informationssysteme, Technische Universit¨at Wien Favorite Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2005-12-22 16:05:26 Mathematical logic Non-classical logic Semantic Web Reasoning Knowledge representation Stable model semantics Description logic Modal logic Negation as failure Logic Logic programming Science
59	c 2003 Cambridge University Press TLP 3 (4 & 5): 393–424, 2003. 393 DOI: [removed]S1471068403001832 Printed in the United Kingdom Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:01 Artificial intelligence Stable model semantics Answer set programming Database SQL Negation as failure Logic programming Data management Computing
60	DBAI Publication List 2001 Institut f¨ ur Informationssysteme Database and Artificial Intelligence Group Technische Universit¨at Wien Favoritenstraße 9-11, A-1040 Vienna, Austria Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2002-02-21 03:37:52 Science Artificial intelligence Georg Gottlob Stable model semantics Circumscription Non-monotonic logic Lecture Notes in Computer Science Cyc Logic programming Non-classical logic Logic

UPDATE